homomorphism preserves identities and inverses